try{
    textArea.text = """\
<pre name="code" language="java">
${textArea.text}
</pre>\
"""
} catch(e){
    textArea.text += e.toString()
}
